Digital Library


Search: "[ keyword: Model Based Test ]" (5)
    Extracting Reusable Test Cases from Modified MATLAB Simulink Model
    Park Geon Gu, Han Hye Jin, Chung Ki Hyun, Choi Kyung Hee KIPS Transactions on Software and Data Engineering, Vol. 8, No. 6, pp. 235-242, Jun. 2019
    https://doi.org/10.3745/KTSDE.2019.8.6.235
    Keywords: Test Case Reuse, Simulink/Stateflow, Model Based Test


    Test Case Generation For Simulink/Stateflow Model Using Yices and Model Information
    Han Gon Park, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 6, pp. 293-302, Jun. 2017
    10.3745/KTSDE.2017.6.6.293
    Keywords: test case generation, Simulink/Stateflow, Model Based Test, Yices


    Generating Test Cases of Simulink/Stateflow Model Based on RRT Algorithm Using Heuristic Input Analysis
    Hyeon Sang Park , Kyung Hee Choi , Ki Hyun Chung KIPS Transactions on Software and Data Engineering, Vol. 2, No. 12, pp. 829-840, Dec. 2013
    10.3745/KTSDE.2013.2.12.829


    Generating Test Cases of Stateflow Model Using Extended RRT Method Based on Test Goal
    Hyeon Sang Park , Kyung Hee Choi , Ki Hyun Chung KIPS Transactions on Software and Data Engineering, Vol. 2, No. 11, pp. 765-778, Nov. 2013
    10.3745/KTSDE.2013.2.11.765


    Test-case Generation for Simulink/Stateflow Model using a Sparated RRT Space
    Hyeon Sang Park , Kyung Hee Choi KIPS Transactions on Software and Data Engineering, Vol. 2, No. 7, pp. 471-478, Jul. 2013
    10.3745/KTSDE.2013.2.7.471